From 07d6c7817db14f74d2ee9edcb7d36267c5a0332a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Timm=20B=C3=A4der?= Date: Sat, 12 Aug 2017 08:48:50 +0200 Subject: [PATCH] widget: Remove private _gtk_widget_set_has_focus The css state here is now handled in gtk_widget_set_focus_child --- gtk/gtkwidget.c | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index ba3ce24261..14a92068e3 100644 --- a/gtk/gtkwidget.c +++ b/gtk/gtkwidget.c @@ -13627,18 +13627,6 @@ gtk_widget_get_opacity (GtkWidget *widget) return widget->priv->user_alpha / 255.0; } -static void -_gtk_widget_set_has_focus (GtkWidget *widget, - gboolean has_focus) -{ - widget->priv->has_focus = has_focus; - - if (has_focus) - gtk_widget_set_state_flags (widget, GTK_STATE_FLAG_FOCUSED, FALSE); - else - gtk_widget_unset_state_flags (widget, GTK_STATE_FLAG_FOCUSED); -} - /** * gtk_widget_send_focus_change: * @widget: a #GtkWidget @@ -13684,7 +13672,7 @@ gtk_widget_send_focus_change (GtkWidget *widget, g_object_ref (widget); - _gtk_widget_set_has_focus (widget, event->focus_change.in); + widget->priv->has_focus = event->focus_change.in; res = gtk_widget_event (widget, event); -- 2.30.2